George G. Simpson (1902–1984) and Stephen J. Gould (1941–2002) were both engaged with the normative – i.e., social, cultural, political, and even ethical – consequences of their evolutionary theorizing. However, there is a normative point of departure between Simpson and Gould’s work in that regard that has received little attention. Yet, their motivations converge into a larger program of resistance and social protection from misconstrued and illegitimate overreaches of the biological sciences leading up to and after (...) the peak of the modern synthesis. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Søren Kierkegaard and the Word(s): Essays on Hermeneutics and CommunicationGeorge ConnellPoul Houe and Gordon D. Marino. editors. Søren Kierkegaard and the Word(s): Essays on Hermeneutics and Communication. Copenhagen: C. A. Reitzel, 2003. Pp. 299. Paper, kr. 375,–Though many associate Kierkegaard with isolated individuality, Kierkegaard scholars are rather gregarious. Four times since 1985, Kierkegaard devotees from all the inhabited continents have gathered at St. Olaf College for several days (...) of intense paper reading. Since it is difficult to keep a handle on so much material presented orally and because many were not able to attend, it is a commendable service that Houe and Marino have edited and published many of the papers delivered at the 2001 conference, just as they had previously published essays from 1998 conference and C. Stephen Evans and I had published essays from the 1989 conference.This volume reflects its origins in several ways. First, the essays are unusually brief compared to most journal articles (around ten pages each). While this is an agreeable format when listening to many papers in a single day, I do think that many of these essays are rather rushed and less than fully developed. Accordingly, the reader of these essays may well feel stimulated by interpretive suggestions rather than satisfied by thoroughly worked out treatments.Second, the essays are quite diverse, as conference papers tend to be, even when, as in this case, a preferred theme—hermeneutics and communication—was stated in advance. Since, as Alastair Hannay notes in the opening keynote essay, "hermeneutics" is used in a wide variety of ways, this theme really did not limit participants to any significant degree. Essays in this volume look variously at Kierkegaard's practice of hermeneutics (especially in reference to the Bible), at our predicament of interpreting Kierkegaard's notoriously elusive and cryptic pseudonymous works, at hermeneutics as our existential disposition as sense-making creature thrust into an ambiguous world, at hermeneutics as a quasi-Hegelian project of engulfing particularity without remainder in a totalizing whole, and, in contrast, at radical hermeneutics (a term coined by John Caputo and applied to Kierkegaard) as an interpretive approach that refuses the consolations and consonances of its Gadamerian cousin. As the use of "hermeneutics" varies, we hear that Kierkegaard is both an exemplary hermeneuticist and "the ultimate non-hermeneuticist." And in a number of essays, the issue of hermeneutics only seems to come up in the vacuous sense that the author offers a reading of some Kierkegaardian text or texts.The wide variety of essays included here reflects itself in the unsatisfactory final article in which Poul Houe makes a thoroughly desultory attempt at pulling the various articles together. I've tried my hand at writing such a piece, so I feel empathy for Houe's plight. But the paragraph per essay tour of the book is so hurried and so perfunctory that I wonder what purpose it really serves in this case.Though widely varying in topic and approach, most of the essays in the volume are quite good, if tantalizingly short. Given that there are twenty-five essays in the volume, it is not possible to summarize them here. But several observations are in order. First, it is especially nice to see five essays by Danish scholars included in this book. The community of Kierkegaard scholars has increasingly come to appreciate that viewing him in terms of his local context can be quite illuminating. American scholars have done excellent work along these lines, but clearly Danes have a crucial role to play in this interpretive task. Second, there have been heated disagreements in Kierkegaard circles over how to place Kierkegaard in reference to philosophical postmodernism. That polemic is in evidence in this volume as well. Several essays, most notably that of David Goicoechea, affiliate [End Page 502] Kierkegaard with postmodernist refusals of the totalizing understandings. In contrast, Sylvia Walsh juxtaposes Kierkegaard's "erotic hermeneutics," which treats its phenomenon with amorous tenderness, with Derrida's deconstructive approach to interpretation, which Walsh sees as a violent expression of the will to power. Christopher Simpson tries to reconcile these divisions by reading Kierkegaardian faith as an attractive... (shrink)

The retirement village sector1 is one part of the increasingly marketized `aged-care' services in New Zealand and in many other parts of the industrialized world. While critical researchers have examined organizational and residents' representations of aging, retirement, and retirement communities in the context of `the market', there is no research that examines communication related to residents' enactment of participation within these settings with respect to these processes of marketization. We aim to refine, complicate, and extend what we might call `the (...) marketization thesis' through this study that examines resident participation within retirement communities. This essay is based on a comparative examination of two major New Zealand retirement community organizations. The rhetorical and critical discourse analysis reveals the complexity of what `participation' means for the residents within the context of an institution that is in transition from a medicalized to a marketized model of service delivery. Through a close examination of these meanings, we offer new insights into issues of individual action and freedom within the frame of a market-driven and avowedly `customer-centred' organization and consequently suggest a reconsideration of participation in organizations in which clients are also `insiders'. (shrink)

Objective: There is a demonstrated link between the mental health and substance use comorbidities experienced by young adults, however the vast majority of psychological interventions are disorder specific. Novel psychological approaches that adequately acknowledge the psychosocial complexity and transdiagnostic needs of vulnerable young people are urgently needed. A modular skills-based program for emotion regulation and impulse control addresses this gap. The current one armed open trial was designed to evaluate the impact that 12 weeks exposure to ERIC alongside usual care (...) had on young people's ability to regulate emotions, as well as examine potential moderating mechanisms.Methods: Seventy nine young people were enrolled to the 12 week intervention period. Twenty one practitioners from youth and community health services delivered relevant ERIC modules adjunct to usual care. Linear mixed effects regression was used to examine change over time across the primary outcome of emotion dysregulation and secondary outcomes of depression, anxiety, stress, experiential avoidance and mindfulness. Moderation analyses were conducted to test whether the magnitude of change in emotion dysregulation moderated change over time in secondary outcomes.Results: Analyses revealed significant improvement in the primary outcome of emotion dysregulation with a moderate effect size, in addition to decreases in the secondary outcomes of depression, anxiety, stress and experiential avoidance. No improvements in mindfulness were reported. Moderation analyses revealed that the residualised change over time in emotion dysregulation moderated the change over time in symptoms of distress, depression, anxiety, stress, experiential avoidance, and mindfulness.Conclusion: Reductions in the severity of emotion dysregulation, depression, anxiety, stress and experiential avoidance are promising, and were evident despite the complexity of the participants and the diversity of the service setting. The improvements found in each outcome were only observed for those young people whose emotion regulation also improved, providing preliminary evidence for the role of emotion regulation as a key treatment target in this population. (shrink)

We develop measure theory in the context of subsystems of second order arithmetic with restricted induction. We introduce a combinatorial principleWWKL (weak-weak König's lemma) and prove that it is strictly weaker thanWKL (weak König's lemma). We show thatWWKL is equivalent to a formal version of the statement that Lebesgue measure is countably additive on open sets. We also show thatWWKL is equivalent to a formal version of the statement that any Borel measure on a compact metric space is countably additive (...) on open sets. (shrink)

Herbert Spencer's Evolutionstheorie - Dargestellt, beurteillt und mit einer Ubersicht uber die Geschichte des Entwicklungsbegriffes versehen ist ein unveranderter, hochwertiger Nachdruck der Originalausgabe aus dem Jahr 1896. Hansebooks ist Herausgeber von Literatur zu unterschiedlichen Themengebieten wie Forschung und Wissenschaft, Reisen und Expeditionen, Kochen und Ernahrung, Medizin und weiteren Genres.Der Schwerpunkt des Verlages liegt auf dem Erhalt historischer Literatur.Viele Werke historischer Schriftsteller und Wissenschaftler sind heute nur noch als Antiquitaten erhaltlich. Hansebooks verlegt diese Bucher neu und tragt damit zum Erhalt selten (...) gewordener Literatur und historischem Wissen auch fur die Zukunft bei.". (shrink)

This paper explores how to deliberate about food choices from a Stoic perspective informed by the value of environmental sustainability. This perspective is reconstructed from both ancient and contemporary sources of Stoic philosophy. An account of what the Stoic goal of “living in agreement with Nature” would amount to in dietary practice is presented. Given ecological facts about food production, an argument is made that Stoic virtue made manifest as wisdom, justice, courage, and temperance compel Stoic practitioners to select locally (...) sourced, low resource input, plant-based foods whenever circumstances allow. (shrink)

Let w and M be the countable distributive lattices of Muchnik and Medvedev degrees of non-empty Π1 0 subsets of 2ω, under Muchnik and Medvedev reducibility, respectively. We show that all countable distributive lattices are lattice-embeddable below any non-zero element of w . We show that many countable distributive lattices are lattice-embeddable below any non-zero element of M.

We investigate the provability or nonprovability of certain ordinary mathematical theorems within certain weak subsystems of second order arithmetic. Specifically, we consider the Cauchy/Peano existence theorem for solutions of ordinary differential equations, in the context of the formal system RCA 0 whose principal axioms are ▵ 0 1 comprehension and Σ 0 1 induction. Our main result is that, over RCA 0 , the Cauchy/Peano Theorem is provably equivalent to weak Konig's lemma, i.e. the statement that every infinite {0, 1}-tree (...) has a path. We also show that, over RCA 0 , the Ascoli lemma is provably equivalent to arithmetical comprehension, as is Osgood's theorem on the existence of maximum solutions. At the end of the paper we digress to relate our results to degrees of unsolvability and to computable analysis. (shrink)

The convergence of human and artificial intelligence is currently receiving considerable scholarly attention. Much debate about the resulting _Hybrid Minds_ focuses on the integration of artificial intelligence into the human brain through intelligent brain-computer interfaces as they enter clinical use. In this contribution we discuss a complementary development: the integration of a functional in vitro network of human neurons into an _in silico_ computing environment. To do so, we draw on a recent experiment reporting the creation of silico-biological intelligence as (...) a case study (Kagan et al., 2022b ). In this experiment, multielectrode arrays were plated with stem cell-derived human neurons, creating a system which the authors call _DishBrain_. By embedding the system into a virtual game-world, neural clusters were able to receive electrical input signals from the game-world and to respond appropriately with output signals from pre-assigned motor regions. Using this design, the authors demonstrate how the _DishBrain_ self-organises and successfully learns to play the computer game ‘Pong’, exhibiting ‘sentient’ and intelligent behaviour in its virtual environment. The creation of such hybrid, silico-biological intelligence raises numerous ethical challenges. Following the neuroscientific framework embraced by the authors themselves, we discuss the arising ethical challenges in the context of Karl Friston’s Free Energy Principle, focusing on the risk of creating synthetic phenomenology. Following the _DishBrain’s_ creator’s neuroscientific assumptions, we highlight how DishBrain’s design may risk bringing about artificial suffering and argue for a congruently cautious approach to such synthetic biological intelligence. (shrink)

A well known fact is that every Lebesgue measurable set is regular, i.e., it includes an F$_{\sigma}$ set of the same measure. We analyze this fact from a metamathematical or foundational standpoint. We study a family of Muchnik degrees corresponding to measure-theoretic regularity at all levels of the effective Borel hierarchy. We prove some new results concerning Nies's notion of LR-reducibility. We build some $\omega$-models of RCA$_0$which are relevant for the reverse mathematics of measure-theoretic regularity.

Let $\mathcal{P}_w$ be the lattice of Muchnik degrees of nonempty $\Pi^0_1$ subsets of $2^\omega$. The lattice $\mathcal{P}$ has been studied extensively in previous publications. In this note we prove that the lattice $\mathcal{P}$ is not Brouwerian.

This new abridgment of a well-known edition makes the main insights of Hegel's famous Lectures on the History of Philosophy widely available in an inexpensive edition.

An examination of verbal hallucinations and thought insertion as examples of "alienated self-consciousness.".

Let ω be the set of natural numbers. For functions f, g: ω → ω, we say f is dominated by g if f < g for all but finitely many n ∈ ω. We consider the standard “fair coin” probability measure on the space 2ω of in-finite sequences of 0's and 1's. A Turing oracle B is said to be almost everywhere dominating if, for measure 1 many X ∈ 2ω, each function which is Turing computable from X is (...) dominated by some function which is Turing computable from B. Dobrinen and Simpson have shown that the almost everywhere domination property and some of its variant properties are closely related to the reverse mathematics of measure theory. In this paper we exposit some recent results of Kjos-Hanssen, Kjos-Hanssen/Miller/Solomon, and others concerning LR-reducibility and almost everywhere domination. We also prove the following new result: If B is almost everywhere dominating, then B is superhigh, i. e., 0″ is truth-table computable from B ′, the Turing jump of B. (shrink)

Hegel's Philosophy of right concerns ideas on justice, moral responsibility, family life, economic activity and the political structure of the state. He shows how human freedom involves living with others in accordance with publicly recognized rights and laws.

Recall that [Formula: see text] is the lattice of Muchnik degrees of nonempty effectively compact sets in Euclidean space. We solve a long-standing open problem by proving that [Formula: see text] is dense, i.e. satisfies [Formula: see text]. Our proof combines an oracle construction with hyperarithmetical theory.

A mass problem is a set of Turing oracles. If P and Q are mass problems, we say that P is weakly reducible to Q if every member of Q Turing computes a member of P. We say that P is strongly reducible to Q if every member of Q Turing computes a member of P via a fixed Turing functional. The weak degrees and strong degrees are the equivalence classes of mass problems under weak and strong reducibility, respectively. We (...) focus on the countable distributive lattices P w and P s of weak and strong degrees of mass problems given by nonempty Π 1 0 subsets of 2 ω . Using an abstract Gödel/Rosser incompleteness property, we characterize the Π 1 0 subsets of 2 ω whose associated mass problems are of top degree in P w and P s , respectively. Let R be the set of Turing oracles which are random in the sense of Martin-Löf, and let r be the weak degree of R. We show that r is a natural intermediate degree within P w . Namely, we characterize r as the unique largest weak degree of a Π 1 0 subset of 2 ω of positive measure. Within P w we show that r is meet irreducible, does not join to 1, and is incomparable with all weak degrees of nonempty thin perfect Π 1 0 subsets of 2 ω . In addition, we present other natural examples of intermediate degrees in P w . We relate these examples to reverse mathematics, computational complexity, and Gentzen-style proof theory. (shrink)

A benchmark volume for an emerging field where mental disorders serve as the springboard for philosophical insights.

Clinical trials for acute conditions such as myocardial infarction and stroke pose challenges related to informed consent due to time limitations, stress, and severe illness. Consent processes shou...

We investigate the reverse-mathematical status of several theorems to the effect that the natural number system is second-order categorical. One of our results is as follows. Define a system to be a triple A,i,f such that A is a set and i∈A and f:A→A. A subset X⊆A is said to be inductive if i∈X and ∀a ∈X). The system A,i,f is said to be inductive if the only inductive subset of A is A itself. Define a Peano system to be (...) an inductive system such that f is one-to-one and i∉the range of f. The standard example of a Peano system is N,0,S where N={0,1,2,…,n,…}=the set of natural numbers and S:N→N is given by S=n+1 for all n∈N. Consider the statement that all Peano systems are isomorphic to N,0,S. We prove that this statement is logically equivalent to WKL0 over RCA0⁎ source. From this and similar equivalences we draw some foundational/philosophical consequences. (shrink)

A mass problem is a set of Turing oracles. If P and Q are mass problems, we say that P is weakly reducible to Q if for all Y ∈ Q there exists X ∈ P such that X is Turing reducible to Y. A weak degree is an equivalence class of mass problems under mutual weak reducibility. Let [Formula: see text] be the lattice of weak degrees of mass problems associated with nonempty [Formula: see text] subsets of the Cantor (...) space. The lattice [Formula: see text] has been studied in previous publications. The purpose of this paper is to show that [Formula: see text] partakes of hyperarithmeticity. We exhibit a family of specific, natural degrees in [Formula: see text] which are indexed by the ordinal numbers less than [Formula: see text] and which correspond to the hyperarithmetical hierarchy. Namely, for each [Formula: see text], let hα be the weak degree of 0, the αth Turing jump of 0. If p is the weak degree of any mass problem P, let p* be the weak degree of the mass problem P* = {Y | ∃X ⊆ BLR )} where BLR is the set of functions which are boundedly limit recursive in X. Let 1 be the top degree in [Formula: see text]. We prove that all of the weak degrees [Formula: see text], [Formula: see text], are distinct and belong to [Formula: see text]. In addition, we prove that certain index sets associated with [Formula: see text] are [Formula: see text] complete. (shrink)

Let CKDT be the assertion that for every countably infinite bipartite graph G, there exist a vertex covering C of G and a matching M in G such that C consists of exactly one vertex from each edge in M. (This is a theorem of Podewski and Steffens [12].) Let ATR0 be the subsystem of second-order arithmetic with arithmetical transfinite recursion and restricted induction. Let RCA0 be the subsystem of second-order arithmetic with recursive comprehension and restricted induction. We show that (...) CKDT is provable in ART0. Combining this with a result of Aharoni, Magidor, and Shore [2], we see that CKDT is logically equivalent to the axioms of ATR0, the equivalence being provable in RCA0. (shrink)

By , we denote the system of second-order arithmetic based on recursive comprehension axioms and Σ10 induction. is defined to be plus weak König's lemma: every infinite tree of sequences of 0's and 1's has an infinite path. In this paper, we first show that for any countable model M of , there exists a countable model M′ of whose first-order part is the same as that of M, and whose second-order part consists of the M-recursive sets and sets not (...) in the second-order part of M. By combining this fact with a certain forcing argument over universal trees, we obtain the following result : if proves X!Y with arithmetical, so does . We also discuss several improvements of this results. (shrink)

In this paper, we introduce a system of nonstandard second-order arithmetic $\mathsf{ns}$-$\mathsf{WWKL_0}$ which consists of $\mathsf{ns}$-$\mathsf{BASIC}$ plus Loeb measure property. Then we show that $\mathsf{ns}$-$\mathsf{WWKL_0}$ is a conservative extension of $\mathsf{WWKL_0}$ and we do Reverse Mathematics for this system.

We examine the concept of almost everywhere domination from the viewpoint of mass problems. Let AED and MLR be the sets of reals which are almost everywhere dominating and Martin-Löf random, respectively. Let b1, b2, and b3 be the degrees of unsolvability of the mass problems associated with AED, MLR × AED, and MLR ∩ AED, respectively. Let [MATHEMATICAL SCRIPT CAPITAL P]w be the lattice of degrees of unsolvability of mass problems associated with nonempty Π01 subsets of 2ω. Let 1 (...) and 0 be the top and bottom elements of [MATHEMATICAL SCRIPT CAPITAL P]w. We show that inf, inf, and inf belong to [MATHEMATICAL SCRIPT CAPITAL P]w and 0 < inf < inf < inf < 1. Under the natural embedding of the recursively enumerable Turing degrees into [MATHEMATICAL SCRIPT CAPITAL P]w, we show that inf and inf but not inf are comparable with some recursively enumerable Turing degrees other than 0 and 0′. In order to make this paper more self-contained, we exposit the proofs of some recent theorems due to Hirschfeldt, Miller, Nies, and Stephan. (shrink)

Reviewed Works:Gaisi Takeuti, Proof Theory.Georg Kreisel, Proof Theory: Some Personal Recollections.Wolfram Pohlers, Contributions of the Schutte School in Munich to Proof Theory.Stephen G. Simpson, Subsystems of $\mathbf{Z}_2$ and Reverse Mathematics.Solomon Feferman, Proof Theory: A Personal Report.